Modular average case analysis: Language implementation and extension

Motivated by accurate average-case analysis, MOdular Quantitative Analysis (MOQA) is developed at the Centre for Efficiency Oriented Languages (CEOL). In essence, MOQA allows the programmer to determine the average running time of a broad class of programmes directly from the code in a (semi-)automated way. The MOQA approach has the property of randomness preservation which means that applying any operation to a random structure, results in an output isomorphic to one or more random structures, which is key to systematic timing. Based on original MOQA research, we discuss the design and implementation of a new domain specific scripting language based on randomness preserving operations and random structures. It is designed to facilitate compositional timing by systematically tracking the distributions of inputs and outputs. The notion of a labelled partial order (LPO) is the basic data type in the language. The programmer uses built-in MOQA operations together with restricted control flow statements to design MOQA programs. This MOQA language is formally specified both syntactically and semantically in this thesis. A practical language interpreter implementation is provided and discussed. By analysing new algorithms and data restructuring operations, we demonstrate the wide applicability of the MOQA approach. Also we extend MOQA theory to a number of other domains besides average-case analysis. We show the strong connection between MOQA and parallel computing, reversible computing and data entropy analysis.

How to extract and expand randomness : a summary and explanation of existing results

We examine the use of randomness extraction and expansion in key agreement (KA) pro- tocols to generate uniformly random keys in the standard model. Although existing works provide the basic theorems necessary, they lack details or examples of appropriate cryptographic primitives and/or parameter sizes. This has lead to the large amount of min-entropy needed in the (non-uniform) shared secret being overlooked in proposals and efficiency comparisons of KA protocols. We therefore summa- rize existing work in the area and examine the security levels achieved with the use of various extractors and expanders for particular parameter sizes. The tables presented herein show that the shared secret needs a min-entropy of at least 292 bits (and even more with more realistic assumptions) to achieve an overall security level of 80 bits using the extractors and expanders we consider. The tables may be used to �nd the min-entropy required for various security levels and assumptions. We also �nd that when using the short exponent theorems of Gennaro et al., the short exponents may need to be much longer than they suggested.

A decision table method for randomness measurement

Data quality has become a major concern for organisations. The rapid growth in the size and technology of a databases and data warehouses has brought significant advantages in accessing, storing, and retrieving information. At the same time, great challenges arise with rapid data throughput and heterogeneous accesses in terms of maintaining high data quality. Yet, despite the importance of data quality, literature has usually condensed data quality into detecting and correcting poor data such as outliers, incomplete or inaccurate values. As a result, organisations are unable to efficiently and effectively assess data quality. Having an accurate and proper data quality assessment method will enable users to benchmark their systems and monitor their improvement. This paper introduces a granules mining for measuring the random degree of error data which will enable decision makers to conduct accurate quality assessment and allocate the most severe data, thereby providing an accurate estimation of human and financial resources for conducting quality improvement tasks.

Thorough assessment of DNA preservation from fossil bone and sediments excavated from a late Pleistocene–Holocene cave deposit on Kangaroo Island, South Australia

Fossils and sediments preserved in caves are an excellent source of information for investigating impacts of past environmental changes on biodiversity. Until recently studies have relied on morphology-based palaeontological approaches, but recent advances in molecular analytical methods offer excellent potential for extracting a greater array of biological information from these sites. This study presents a thorough assessment of DNA preservation from late Pleistocene–Holocene vertebrate fossils and sediments from Kelly Hill Cave Kangaroo Island, South Australia. Using a combination of extraction techniques and sequencing technologies, ancient DNA was characterised from over 70 bones and 20 sediment samples from 15 stratigraphic layers ranging in age from >20 ka to ∼6.8 ka. A combination of primers targeting marsupial and placental mammals, reptiles and two universal plant primers were used to reveal genetic biodiversity for comparison with the mainland and with the morphological fossil record for Kelly Hill Cave. We demonstrate that Kelly Hill Cave has excellent long-term DNA preservation, back to at least 20 ka. This contrasts with the majority of Australian cave sites thus far explored for ancient DNA preservation, and highlights the great promise Kangaroo Island caves hold for yielding the hitherto-elusive DNA of extinct Australian Pleistocene species.

Hydrofluoroalkanes as carrier solvents for timber preservation

Hydrofluoroalkanes are a specific category of hydrofluorocarbon (HFC) commonly used in refrigeration applications. Some HFCs hold potential for use as carrier fluids for preservatives used to protect timber above ground. They do not share the most significant disadvantages of currently used carriers for these applications. At ‘conventional’ operating pressures, they are capable of rapid, full penetration of some timbers generally considered refractory, such as spruce and the heartwood of radiata pine. But they are comparatively expensive and, while they are not detrimental to the ozone layer, they would contribute significantly to the greenhouse effect if released. Impregnation process conditions can be optimised to maximise biocide solubility and impregnation speed and depth.

Natural Preservation Technologies for Tropical Fruits

The project intends to establish a cross DEEDI industry-leveraged project for tropical fruit convenience products.

Preservation of encapsulated shoot tips and nodes of the tropical hardwoods Corymbia torelliana × C. citriodora and Khaya senegalensis

Alginate encapsulation is a simple and cost-effective technique to preserve plant germplasm but there are only a few reports available on preservation of encapsulated explants of two highly valuable groups of tropical trees, the eucalypts (Myrtaceae) and mahoganies (Meliaceae). This study investigated alginate encapsulation for preservation of the eucalypt hybrid, Corymbia torelliana × C. citriodora, and the African mahogany, Khaya senegalensis. We assessed shoot regrowth of encapsulated shoot tips and nodes after storage for 0, 3, 6 and 12 months on media varying in sucrose and nutrient content, under storage conditions of 14°C and zero-irradiance. Encapsulated explants of both trees were preserved most effectively on high-nutrient (half-strength Murashige and Skoog) medium containing 1% sucrose, which provided very high frequencies of shoot regrowth (92–100% for Corymbia and 71–98% for Khaya) and excellent shoot development after 12 months’ storage. This technique provides an extremely efficient means for storage and exchange of eucalypts and mahoganies, ideally suited for incorporation into plant breeding and germplasm conservation programs.

Non-diffusive classical transport in a medium with static randomness

The probability distribution for the displacement x of a particle moving in a one-dimensional continuum is derived exactly for the general case of combined static and dynamic gaussian randomness of the applied force. The dynamics of the particle is governed by the high-friction limit of Brownian motion discussed originally by Einstein and Smoluchowski. In particular, the mean square displacement of the particle varies as t2 for t to infinity . This ballistic motion induced by the disorder does not give rise to a 1/f power spectrum, contrary to recent suggestions based on the above dynamical model.

Preservation of native conformation during aluminium-induced aggregation of tau protein

ALUMINIUM exposure has been shown to result in aggregation of microtubule-associated protein tau in vitro. In the light of recent observations that the native random structure of tau protein is maintained in its monomeric and dimeric states as well as in the paired helical filaments characteristic of Alzheimer's disease, it is likely that factors playing a causative role in neurofibrillary pathology would not drastically alter the native conformation of tau protein. We have studied the interaction of tau protein with aluminium using circular dichroism (CD) and 27(Al) NMR spectroscopy. The CD studies revealed a five-fold increase in the observed ellipticity of the tau-aluminium assembly. The increase in elipticity was not associated with a change in the general conformation of the protein and was most likely due to an aggregation of the tau protein induced by aluminium. Al-27 NMR spectroscopy confirmed the binding of aluminium to tau protein. Hyperphosphorylation of tau in Alzheimer's disease is known to be associated with defective microtubule assembly in this condition. Abnormally phosphorylated tau exists in a polymerized form in the paired helical filaments (PHF) which constitute the neurofibrillary tangles found in Alzheimer's disease. While it is hypothesized that its altered biophysical characteristics render abnormally phosphorylated tau resistant to proteolysis, causing the formation of stable deposits,the sequence of events resulting in the polymerization of tau are little understood, as are the additional factors or modifications required for tills process. Based on the results of our spectroscopic studies, a model for the sequence of events occurring in neurofibrillary pathology is proposed.

Phase-shift randomness in one-dimensional disordered conductors in the quasi-metallic domain

An invariant imbedding method yields exact analytical results for the distribution of the phase theta (L) of the reflection amplitude and for low-order resistance moments (pn) for a disordered conductor of length L in the quasi-metallic regime L<

Resistance fluctuations, phase randomness and noise in one-dimensional conductors with a long-range correlated potential

When the size (L) of a one-dimensional metallic conductor is less than the correlation length λ-1 of the Gaussian random potential, one expects transport properties to show ballistic behaviour. Using an invariant imbedding method, we study the exact distribution of the resistance, of the phase θ of the reflection amplitude of an incident electron of wave number k0, and of dθ/dk0, for λL ll 1. The resistance is non-self-averaging and the n-th resistance moment varies periodically as (1 - cos 2k0L)n. The charge fluctuation noise, determined by the distribution of dθ/dk0, is constant at low frequencies.

Symmetry preservation during radiation damage

An examination of radiation-damage processes consequent to high-energy irradiation in certain ammonium salts studied using ESR of free radical together with the structural information available from neutron diffraction studies shows that, other factors being equal/nearly equal, symmetry-related bonds are preserved in preference to those unrelated to one another by any symmetry.